type foo = () <|>=> boolean;
